0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991

Before Change


		int target = environment.allocate(Type.T_BOOL);
		block.add(Bytecode.Const(target, Constant.V_BOOL(false)), attributes(e));
		block.add(Bytecode.Goto(exitLabel));
		block.add(Bytecode.Label(trueLabel));
		block.add(Bytecode.Const(target, Constant.V_BOOL(true)), attributes(e));
		block.add(Bytecode.Label(exitLabel));
		return target;
	}

After Change


		block.add(new Bytecode.Const(target, Constant.V_BOOL(false)), attributes(e));
		block.add(new Bytecode.Goto(exitLabel));
		block.add(new Bytecode.Label(trueLabel));
		block.add(new Bytecode.Const(target, Constant.V_BOOL(true)), attributes(e));
		block.add(new Bytecode.Label(exitLabel));
		return target;
	}